英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-10 16:47:46 [时尚] 来源：陕西欣鸿然自动化设备有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：焦点)
厂商家角力：空调价涨暗流涌动—万维家电网
空调带病“上岗” “不洗澡”源于费用太高—万维家电网
空调厂商全面加入苏宁空调节战团—万维家电网
空调销量持续攀升 厂家喊涨商家喊降—万维家电网
新科空调陕西冲劲十足 销售再报佳绩—万维家电网推荐文章
-
消费者在选择空调时，不能只简单的根据价格来选择产品，更要根据自己的居住空间来选购，如果选择不当的话，不但不能够调节是室内气温，而且还有可能对空调本身造成不必要的损害。 今天，笔者就以10-25平方米
...[详细]
-
昨日(2007年5月22日)获悉，从本周六开始五星在全国140家门店联动，全面启动第八届空调节，主推节能高效空调。据悉，空调节期间，五星全场空调将有30％至50％的降幅，某款1Ｐ空调跌破788元，某款
...[详细]
-
![[新闻评论]空调价格打擂台 主降论难改变—万维家电网](http://n.sinaimg.cn/news/transform/200/w600h400/20180315/nXxC-fyshfup8875421.jpg?zdy)
五六月向来是空调销售旺季，再加上原材料涨价，空调厂家的涨价声不断。但家电连锁商并不愿意在空调旺季来临时因为价格上涨而影响销售数量，苏宁宣布26日投入100万台特价空调和5个亿的促销资源，宣称要全面平抑
...[详细]
-
近日，新科空调石家庄、郑州、济南、北京等地办事处陆续传来好消息，连日来的高温干热天气一下子烧热了各地的空调市场。终端零售市场比往年足足提前了半个月，同期出货量增长了近30%。在一些高温天气的重灾区，市
...[详细]
-
一、外观检查。电镀件表面应光滑，不得有剥落、露底、划伤等缺陷。喷涂件表面不应有气泡、流痕、漏涂、底漆层外露、凹凸不平等。各部件的安装应牢固可靠，管路与部件之间不能互相摩擦、碰撞。二、垂直、水平导风板检
...[详细]
-
有读者打进快报热线表示：天气越来越热，他想买台空调，但是不知道如何挑选，希望便民网的专家能给些建议。 记者询问了便民网的空调专家，他们表示选空调一是要挑大品牌的空调，经过几年的市场竞争，一些小品牌的空
...[详细]
-
6月5日是世界环境日，近期“世界冠军被空调击倒”、“空调军团病”、“家用空调监测出致病细菌”等一系列因空调问题引发的安全事件，再次引起众多专家对空调质量的关注。中国室内环境监测权威专家宋广生对此一针见
...[详细]
-
近日，新科空调石家庄、郑州、济南、北京等地办事处陆续传来好消息，连日来的高温干热天气一下子烧热了各地的空调市场。终端零售市场比往年足足提前了半个月，同期出货量增长了近30%。在一些高温天气的重灾区，市
...[详细]
-
作为世界性的体育盛事，2008年北京奥运会不仅是提升中国国际地位和形象的盛大体育赛事，对于企业来说，也是一个难得的营销机会和巨大无比的传播舞台。很多企业都开始思考如何抓住奥运带来的商机，以期望借助奥运
...[详细]
-
天气一天天热起来，空调卖场的气氛开始变得火爆。在家电卖场，您会发现与往年不太一样的是，现在的空调产品，颜色不再单调，黑、橙、红、白、银灰、棕、香槟色等已经成了它们新的“外衣”，不但性能优越，而且更凸显
...[详细]
热点阅读
